#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/msg.h>

int main()
{
	msgctl(65536, IPC_RMID, 0);
	return 0;
}
